Optimal. Leaf size=145 \[ \frac {a b x}{3 c^5}+\frac {4 b^2 x^2}{45 c^4}+\frac {b^2 x^4}{60 c^2}+\frac {b^2 x \tanh ^{-1}(c x)}{3 c^5}+\frac {b x^3 \left (a+b \tanh ^{-1}(c x)\right )}{9 c^3}+\frac {b x^5 \left (a+b \tanh ^{-1}(c x)\right )}{15 c}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{6 c^6}+\frac {1}{6} x^6 \left (a+b \tanh ^{-1}(c x)\right )^2+\frac {23 b^2 \log \left (1-c^2 x^2\right )}{90 c^6} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.22, antiderivative size = 145, normalized size of antiderivative = 1.00, number of steps
used = 16, number of rules used = 7, integrand size = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.500, Rules used = {6037, 6127,
272, 45, 6021, 266, 6095} \begin {gather*} -\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{6 c^6}+\frac {a b x}{3 c^5}+\frac {b x^3 \left (a+b \tanh ^{-1}(c x)\right )}{9 c^3}+\frac {1}{6} x^6 \left (a+b \tanh ^{-1}(c x)\right )^2+\frac {b x^5 \left (a+b \tanh ^{-1}(c x)\right )}{15 c}+\frac {b^2 x \tanh ^{-1}(c x)}{3 c^5}+\frac {4 b^2 x^2}{45 c^4}+\frac {b^2 x^4}{60 c^2}+\frac {23 b^2 \log \left (1-c^2 x^2\right )}{90 c^6} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 45
Rule 266
Rule 272
Rule 6021
Rule 6037
Rule 6095
Rule 6127
Rubi steps
\begin {align*} \int x^5 \left (a+b \tanh ^{-1}(c x)\right )^2 \, dx &=\frac {1}{6} x^6 \left (a+b \tanh ^{-1}(c x)\right )^2-\frac {1}{3} (b c) \int \frac {x^6 \left (a+b \tanh ^{-1}(c x)\right )}{1-c^2 x^2} \, dx\\ &=\frac {1}{6} x^6 \left (a+b \tanh ^{-1}(c x)\right )^2+\frac {b \int x^4 \left (a+b \tanh ^{-1}(c x)\right ) \, dx}{3 c}-\frac {b \int \frac {x^4 \left (a+b \tanh ^{-1}(c x)\right )}{1-c^2 x^2} \, dx}{3 c}\\ &=\frac {b x^5 \left (a+b \tanh ^{-1}(c x)\right )}{15 c}+\frac {1}{6} x^6 \left (a+b \tanh ^{-1}(c x)\right )^2-\frac {1}{15} b^2 \int \frac {x^5}{1-c^2 x^2} \, dx+\frac {b \int x^2 \left (a+b \tanh ^{-1}(c x)\right ) \, dx}{3 c^3}-\frac {b \int \frac {x^2 \left (a+b \tanh ^{-1}(c x)\right )}{1-c^2 x^2} \, dx}{3 c^3}\\ &=\frac {b x^3 \left (a+b \tanh ^{-1}(c x)\right )}{9 c^3}+\frac {b x^5 \left (a+b \tanh ^{-1}(c x)\right )}{15 c}+\frac {1}{6} x^6 \left (a+b \tanh ^{-1}(c x)\right )^2-\frac {1}{30} b^2 \text {Subst}\left (\int \frac {x^2}{1-c^2 x} \, dx,x,x^2\right )+\frac {b \int \left (a+b \tanh ^{-1}(c x)\right ) \, dx}{3 c^5}-\frac {b \int \frac {a+b \tanh ^{-1}(c x)}{1-c^2 x^2} \, dx}{3 c^5}-\frac {b^2 \int \frac {x^3}{1-c^2 x^2} \, dx}{9 c^2}\\ &=\frac {a b x}{3 c^5}+\frac {b x^3 \left (a+b \tanh ^{-1}(c x)\right )}{9 c^3}+\frac {b x^5 \left (a+b \tanh ^{-1}(c x)\right )}{15 c}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{6 c^6}+\frac {1}{6} x^6 \left (a+b \tanh ^{-1}(c x)\right )^2-\frac {1}{30} b^2 \text {Subst}\left (\int \left (-\frac {1}{c^4}-\frac {x}{c^2}-\frac {1}{c^4 \left (-1+c^2 x\right )}\right ) \, dx,x,x^2\right )+\frac {b^2 \int \tanh ^{-1}(c x) \, dx}{3 c^5}-\frac {b^2 \text {Subst}\left (\int \frac {x}{1-c^2 x} \, dx,x,x^2\right )}{18 c^2}\\ &=\frac {a b x}{3 c^5}+\frac {b^2 x^2}{30 c^4}+\frac {b^2 x^4}{60 c^2}+\frac {b^2 x \tanh ^{-1}(c x)}{3 c^5}+\frac {b x^3 \left (a+b \tanh ^{-1}(c x)\right )}{9 c^3}+\frac {b x^5 \left (a+b \tanh ^{-1}(c x)\right )}{15 c}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{6 c^6}+\frac {1}{6} x^6 \left (a+b \tanh ^{-1}(c x)\right )^2+\frac {b^2 \log \left (1-c^2 x^2\right )}{30 c^6}-\frac {b^2 \int \frac {x}{1-c^2 x^2} \, dx}{3 c^4}-\frac {b^2 \text {Subst}\left (\int \left (-\frac {1}{c^2}-\frac {1}{c^2 \left (-1+c^2 x\right )}\right ) \, dx,x,x^2\right )}{18 c^2}\\ &=\frac {a b x}{3 c^5}+\frac {4 b^2 x^2}{45 c^4}+\frac {b^2 x^4}{60 c^2}+\frac {b^2 x \tanh ^{-1}(c x)}{3 c^5}+\frac {b x^3 \left (a+b \tanh ^{-1}(c x)\right )}{9 c^3}+\frac {b x^5 \left (a+b \tanh ^{-1}(c x)\right )}{15 c}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{6 c^6}+\frac {1}{6} x^6 \left (a+b \tanh ^{-1}(c x)\right )^2+\frac {23 b^2 \log \left (1-c^2 x^2\right )}{90 c^6}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.05, size = 164, normalized size = 1.13 \begin {gather*} \frac {60 a b c x+16 b^2 c^2 x^2+20 a b c^3 x^3+3 b^2 c^4 x^4+12 a b c^5 x^5+30 a^2 c^6 x^6+4 b c x \left (15 a c^5 x^5+b \left (15+5 c^2 x^2+3 c^4 x^4\right )\right ) \tanh ^{-1}(c x)+30 b^2 \left (-1+c^6 x^6\right ) \tanh ^{-1}(c x)^2+2 b (15 a+23 b) \log (1-c x)-30 a b \log (1+c x)+46 b^2 \log (1+c x)}{180 c^6} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(289\) vs.
\(2(127)=254\).
time = 0.07, size = 290, normalized size = 2.00
method | result | size |
derivativedivides | \(\frac {\frac {c^{6} x^{6} a^{2}}{6}+\frac {b^{2} c^{6} x^{6} \arctanh \left (c x \right )^{2}}{6}+\frac {b^{2} \arctanh \left (c x \right ) c^{5} x^{5}}{15}+\frac {b^{2} \arctanh \left (c x \right ) c^{3} x^{3}}{9}+\frac {b^{2} \arctanh \left (c x \right ) c x}{3}+\frac {b^{2} \arctanh \left (c x \right ) \ln \left (c x -1\right )}{6}-\frac {b^{2} \arctanh \left (c x \right ) \ln \left (c x +1\right )}{6}-\frac {b^{2} \ln \left (c x -1\right ) \ln \left (\frac {c x}{2}+\frac {1}{2}\right )}{12}+\frac {b^{2} \ln \left (c x -1\right )^{2}}{24}-\frac {b^{2} \ln \left (-\frac {c x}{2}+\frac {1}{2}\right ) \ln \left (c x +1\right )}{12}+\frac {b^{2} \ln \left (-\frac {c x}{2}+\frac {1}{2}\right ) \ln \left (\frac {c x}{2}+\frac {1}{2}\right )}{12}+\frac {b^{2} \ln \left (c x +1\right )^{2}}{24}+\frac {b^{2} c^{4} x^{4}}{60}+\frac {4 b^{2} c^{2} x^{2}}{45}+\frac {23 b^{2} \ln \left (c x -1\right )}{90}+\frac {23 b^{2} \ln \left (c x +1\right )}{90}+\frac {a b \,c^{6} x^{6} \arctanh \left (c x \right )}{3}+\frac {c^{5} x^{5} a b}{15}+\frac {a b \,c^{3} x^{3}}{9}+\frac {a b c x}{3}+\frac {a b \ln \left (c x -1\right )}{6}-\frac {a b \ln \left (c x +1\right )}{6}}{c^{6}}\) | \(290\) |
default | \(\frac {\frac {c^{6} x^{6} a^{2}}{6}+\frac {b^{2} c^{6} x^{6} \arctanh \left (c x \right )^{2}}{6}+\frac {b^{2} \arctanh \left (c x \right ) c^{5} x^{5}}{15}+\frac {b^{2} \arctanh \left (c x \right ) c^{3} x^{3}}{9}+\frac {b^{2} \arctanh \left (c x \right ) c x}{3}+\frac {b^{2} \arctanh \left (c x \right ) \ln \left (c x -1\right )}{6}-\frac {b^{2} \arctanh \left (c x \right ) \ln \left (c x +1\right )}{6}-\frac {b^{2} \ln \left (c x -1\right ) \ln \left (\frac {c x}{2}+\frac {1}{2}\right )}{12}+\frac {b^{2} \ln \left (c x -1\right )^{2}}{24}-\frac {b^{2} \ln \left (-\frac {c x}{2}+\frac {1}{2}\right ) \ln \left (c x +1\right )}{12}+\frac {b^{2} \ln \left (-\frac {c x}{2}+\frac {1}{2}\right ) \ln \left (\frac {c x}{2}+\frac {1}{2}\right )}{12}+\frac {b^{2} \ln \left (c x +1\right )^{2}}{24}+\frac {b^{2} c^{4} x^{4}}{60}+\frac {4 b^{2} c^{2} x^{2}}{45}+\frac {23 b^{2} \ln \left (c x -1\right )}{90}+\frac {23 b^{2} \ln \left (c x +1\right )}{90}+\frac {a b \,c^{6} x^{6} \arctanh \left (c x \right )}{3}+\frac {c^{5} x^{5} a b}{15}+\frac {a b \,c^{3} x^{3}}{9}+\frac {a b c x}{3}+\frac {a b \ln \left (c x -1\right )}{6}-\frac {a b \ln \left (c x +1\right )}{6}}{c^{6}}\) | \(290\) |
risch | \(\frac {b^{2} \left (x^{6} c^{6}-1\right ) \ln \left (c x +1\right )^{2}}{24 c^{6}}+\frac {b \left (-15 x^{6} b \ln \left (-c x +1\right ) c^{6}+30 c^{6} x^{6} a +6 c^{5} x^{5} b +10 b \,c^{3} x^{3}+30 b c x +15 b \ln \left (-c x +1\right )\right ) \ln \left (c x +1\right )}{180 c^{6}}+\frac {b^{2} x^{6} \ln \left (-c x +1\right )^{2}}{24}-\frac {a b \,x^{6} \ln \left (-c x +1\right )}{6}+\frac {x^{6} a^{2}}{6}-\frac {b^{2} x^{5} \ln \left (-c x +1\right )}{30 c}+\frac {x^{5} a b}{15 c}+\frac {b^{2} x^{4}}{60 c^{2}}-\frac {b^{2} x^{3} \ln \left (-c x +1\right )}{18 c^{3}}+\frac {a b \,x^{3}}{9 c^{3}}+\frac {4 b^{2} x^{2}}{45 c^{4}}-\frac {b^{2} x \ln \left (-c x +1\right )}{6 c^{5}}-\frac {b^{2} \ln \left (-c x +1\right )^{2}}{24 c^{6}}+\frac {a b x}{3 c^{5}}+\frac {b \ln \left (-c x +1\right ) a}{6 c^{6}}+\frac {23 b^{2} \ln \left (-c x +1\right )}{90 c^{6}}-\frac {b \ln \left (c x +1\right ) a}{6 c^{6}}+\frac {23 b^{2} \ln \left (c x +1\right )}{90 c^{6}}\) | \(312\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.26, size = 215, normalized size = 1.48 \begin {gather*} \frac {1}{6} \, b^{2} x^{6} \operatorname {artanh}\left (c x\right )^{2} + \frac {1}{6} \, a^{2} x^{6} + \frac {1}{90} \, {\left (30 \, x^{6} \operatorname {artanh}\left (c x\right ) + c {\left (\frac {2 \, {\left (3 \, c^{4} x^{5} + 5 \, c^{2} x^{3} + 15 \, x\right )}}{c^{6}} - \frac {15 \, \log \left (c x + 1\right )}{c^{7}} + \frac {15 \, \log \left (c x - 1\right )}{c^{7}}\right )}\right )} a b + \frac {1}{360} \, {\left (4 \, c {\left (\frac {2 \, {\left (3 \, c^{4} x^{5} + 5 \, c^{2} x^{3} + 15 \, x\right )}}{c^{6}} - \frac {15 \, \log \left (c x + 1\right )}{c^{7}} + \frac {15 \, \log \left (c x - 1\right )}{c^{7}}\right )} \operatorname {artanh}\left (c x\right ) + \frac {6 \, c^{4} x^{4} + 32 \, c^{2} x^{2} - 2 \, {\left (15 \, \log \left (c x - 1\right ) - 46\right )} \log \left (c x + 1\right ) + 15 \, \log \left (c x + 1\right )^{2} + 15 \, \log \left (c x - 1\right )^{2} + 92 \, \log \left (c x - 1\right )}{c^{6}}\right )} b^{2} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 0.35, size = 193, normalized size = 1.33 \begin {gather*} \frac {60 \, a^{2} c^{6} x^{6} + 24 \, a b c^{5} x^{5} + 6 \, b^{2} c^{4} x^{4} + 40 \, a b c^{3} x^{3} + 32 \, b^{2} c^{2} x^{2} + 120 \, a b c x + 15 \, {\left (b^{2} c^{6} x^{6} - b^{2}\right )} \log \left (-\frac {c x + 1}{c x - 1}\right )^{2} - 4 \, {\left (15 \, a b - 23 \, b^{2}\right )} \log \left (c x + 1\right ) + 4 \, {\left (15 \, a b + 23 \, b^{2}\right )} \log \left (c x - 1\right ) + 4 \, {\left (15 \, a b c^{6} x^{6} + 3 \, b^{2} c^{5} x^{5} + 5 \, b^{2} c^{3} x^{3} + 15 \, b^{2} c x\right )} \log \left (-\frac {c x + 1}{c x - 1}\right )}{360 \, c^{6}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 0.56, size = 211, normalized size = 1.46 \begin {gather*} \begin {cases} \frac {a^{2} x^{6}}{6} + \frac {a b x^{6} \operatorname {atanh}{\left (c x \right )}}{3} + \frac {a b x^{5}}{15 c} + \frac {a b x^{3}}{9 c^{3}} + \frac {a b x}{3 c^{5}} - \frac {a b \operatorname {atanh}{\left (c x \right )}}{3 c^{6}} + \frac {b^{2} x^{6} \operatorname {atanh}^{2}{\left (c x \right )}}{6} + \frac {b^{2} x^{5} \operatorname {atanh}{\left (c x \right )}}{15 c} + \frac {b^{2} x^{4}}{60 c^{2}} + \frac {b^{2} x^{3} \operatorname {atanh}{\left (c x \right )}}{9 c^{3}} + \frac {4 b^{2} x^{2}}{45 c^{4}} + \frac {b^{2} x \operatorname {atanh}{\left (c x \right )}}{3 c^{5}} + \frac {23 b^{2} \log {\left (x - \frac {1}{c} \right )}}{45 c^{6}} - \frac {b^{2} \operatorname {atanh}^{2}{\left (c x \right )}}{6 c^{6}} + \frac {23 b^{2} \operatorname {atanh}{\left (c x \right )}}{45 c^{6}} & \text {for}\: c \neq 0 \\\frac {a^{2} x^{6}}{6} & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 889 vs.
\(2 (127) = 254\).
time = 0.43, size = 889, normalized size = 6.13 \begin {gather*} \frac {1}{90} \, {\left (\frac {15 \, {\left (\frac {3 \, {\left (c x + 1\right )}^{5} b^{2}}{{\left (c x - 1\right )}^{5}} + \frac {10 \, {\left (c x + 1\right )}^{3} b^{2}}{{\left (c x - 1\right )}^{3}} + \frac {3 \, {\left (c x + 1\right )} b^{2}}{c x - 1}\right )} \log \left (-\frac {c x + 1}{c x - 1}\right )^{2}}{\frac {{\left (c x + 1\right )}^{6} c^{7}}{{\left (c x - 1\right )}^{6}} - \frac {6 \, {\left (c x + 1\right )}^{5} c^{7}}{{\left (c x - 1\right )}^{5}} + \frac {15 \, {\left (c x + 1\right )}^{4} c^{7}}{{\left (c x - 1\right )}^{4}} - \frac {20 \, {\left (c x + 1\right )}^{3} c^{7}}{{\left (c x - 1\right )}^{3}} + \frac {15 \, {\left (c x + 1\right )}^{2} c^{7}}{{\left (c x - 1\right )}^{2}} - \frac {6 \, {\left (c x + 1\right )} c^{7}}{c x - 1} + c^{7}} + \frac {2 \, {\left (\frac {90 \, {\left (c x + 1\right )}^{5} a b}{{\left (c x - 1\right )}^{5}} + \frac {300 \, {\left (c x + 1\right )}^{3} a b}{{\left (c x - 1\right )}^{3}} + \frac {90 \, {\left (c x + 1\right )} a b}{c x - 1} + \frac {45 \, {\left (c x + 1\right )}^{5} b^{2}}{{\left (c x - 1\right )}^{5}} - \frac {135 \, {\left (c x + 1\right )}^{4} b^{2}}{{\left (c x - 1\right )}^{4}} + \frac {230 \, {\left (c x + 1\right )}^{3} b^{2}}{{\left (c x - 1\right )}^{3}} - \frac {210 \, {\left (c x + 1\right )}^{2} b^{2}}{{\left (c x - 1\right )}^{2}} + \frac {93 \, {\left (c x + 1\right )} b^{2}}{c x - 1} - 23 \, b^{2}\right )} \log \left (-\frac {c x + 1}{c x - 1}\right )}{\frac {{\left (c x + 1\right )}^{6} c^{7}}{{\left (c x - 1\right )}^{6}} - \frac {6 \, {\left (c x + 1\right )}^{5} c^{7}}{{\left (c x - 1\right )}^{5}} + \frac {15 \, {\left (c x + 1\right )}^{4} c^{7}}{{\left (c x - 1\right )}^{4}} - \frac {20 \, {\left (c x + 1\right )}^{3} c^{7}}{{\left (c x - 1\right )}^{3}} + \frac {15 \, {\left (c x + 1\right )}^{2} c^{7}}{{\left (c x - 1\right )}^{2}} - \frac {6 \, {\left (c x + 1\right )} c^{7}}{c x - 1} + c^{7}} + \frac {4 \, {\left (\frac {45 \, {\left (c x + 1\right )}^{5} a^{2}}{{\left (c x - 1\right )}^{5}} + \frac {150 \, {\left (c x + 1\right )}^{3} a^{2}}{{\left (c x - 1\right )}^{3}} + \frac {45 \, {\left (c x + 1\right )} a^{2}}{c x - 1} + \frac {45 \, {\left (c x + 1\right )}^{5} a b}{{\left (c x - 1\right )}^{5}} - \frac {135 \, {\left (c x + 1\right )}^{4} a b}{{\left (c x - 1\right )}^{4}} + \frac {230 \, {\left (c x + 1\right )}^{3} a b}{{\left (c x - 1\right )}^{3}} - \frac {210 \, {\left (c x + 1\right )}^{2} a b}{{\left (c x - 1\right )}^{2}} + \frac {93 \, {\left (c x + 1\right )} a b}{c x - 1} - 23 \, a b + \frac {11 \, {\left (c x + 1\right )}^{5} b^{2}}{{\left (c x - 1\right )}^{5}} - \frac {38 \, {\left (c x + 1\right )}^{4} b^{2}}{{\left (c x - 1\right )}^{4}} + \frac {54 \, {\left (c x + 1\right )}^{3} b^{2}}{{\left (c x - 1\right )}^{3}} - \frac {38 \, {\left (c x + 1\right )}^{2} b^{2}}{{\left (c x - 1\right )}^{2}} + \frac {11 \, {\left (c x + 1\right )} b^{2}}{c x - 1}\right )}}{\frac {{\left (c x + 1\right )}^{6} c^{7}}{{\left (c x - 1\right )}^{6}} - \frac {6 \, {\left (c x + 1\right )}^{5} c^{7}}{{\left (c x - 1\right )}^{5}} + \frac {15 \, {\left (c x + 1\right )}^{4} c^{7}}{{\left (c x - 1\right )}^{4}} - \frac {20 \, {\left (c x + 1\right )}^{3} c^{7}}{{\left (c x - 1\right )}^{3}} + \frac {15 \, {\left (c x + 1\right )}^{2} c^{7}}{{\left (c x - 1\right )}^{2}} - \frac {6 \, {\left (c x + 1\right )} c^{7}}{c x - 1} + c^{7}} - \frac {46 \, b^{2} \log \left (-\frac {c x + 1}{c x - 1} + 1\right )}{c^{7}} + \frac {46 \, b^{2} \log \left (-\frac {c x + 1}{c x - 1}\right )}{c^{7}}\right )} c \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.04, size = 171, normalized size = 1.18 \begin {gather*} \frac {46\,b^2\,\ln \left (c^2\,x^2-1\right )-30\,b^2\,{\mathrm {atanh}\left (c\,x\right )}^2+30\,a^2\,c^6\,x^6+16\,b^2\,c^2\,x^2+3\,b^2\,c^4\,x^4-60\,a\,b\,\mathrm {atanh}\left (c\,x\right )+20\,b^2\,c^3\,x^3\,\mathrm {atanh}\left (c\,x\right )+12\,b^2\,c^5\,x^5\,\mathrm {atanh}\left (c\,x\right )+60\,b^2\,c\,x\,\mathrm {atanh}\left (c\,x\right )+30\,b^2\,c^6\,x^6\,{\mathrm {atanh}\left (c\,x\right )}^2+20\,a\,b\,c^3\,x^3+12\,a\,b\,c^5\,x^5+60\,a\,b\,c\,x+60\,a\,b\,c^6\,x^6\,\mathrm {atanh}\left (c\,x\right )}{180\,c^6} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________